Ident. | Authors (with country if any) | Title |
---|
000106 |
Jasmin Christian Blanchette [France] ; Sascha Böhme [Allemagne] ; Mathias Fleury [France] ; Steffen Juilf Smolka [États-Unis] ; Albert Steckermeier [Allemagne] | Semi-intelligible Isar Proofs from Machine-Generated Proofs |
000139 |
Deepak L. Bhatt [États-Unis] ; Marc P. Bonaca [États-Unis] ; Sameer Bansilal [États-Unis] ; Dominick J. Angiolillo [États-Unis] ; Marc Cohen [États-Unis] ; Robert F. Storey [Royaume-Uni] ; Kyungah Im [États-Unis] ; Sabina A. Murphy [États-Unis] ; Peter Held [Suède] ; Eugene Braunwald [États-Unis] ; Marc S. Sabatine [États-Unis] ; Ph Gabriel Steg [France] | Reduction in Ischemic Events with Ticagrelor in Diabetic Patients: From the PEGASUS-TIMI 54 Trial. |
001414 |
Nancy J. Aburto [Suisse] ; Sara Hanson [Suisse] ; Hialy Gutierrez [États-Unis] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] | Effect of increased potassium intake on cardiovascular risk factors and disease: systematic review and meta-analyses |
001469 |
Yu Deng [États-Unis] ; Liangzhao Zeng [États-Unis] | The 1st International Workshop on Analytics Services on the Cloud (ASC 2012) |
001526 |
Christopher Bouchard [États-Unis] ; Kimberly A. Gero [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] | On Forward Closure and the Finite Variant Property |
001A47 |
Joerg Hoffmann [France] ; Bart Selman [États-Unis] | Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI'12) |
001D85 |
Sarah A. Milgrom [États-Unis] ; Karyn A. Goodman [États-Unis] | The role of radiation therapy in the management of adrenal carcinoma and adrenal metastases |
001D99 |
Jorge A. Carrasquillo [États-Unis] ; Neeta Pandit-Taskar [États-Unis] ; Clara C. Chen [États-Unis] | Radionuclide therapy of adrenal tumors |
001E11 |
Dipak S. Pisal [États-Unis] ; Matthew P. Kosloski [États-Unis] ; C. Russell Middaugh [États-Unis] ; Richard B. Bankert [États-Unis] ; Sathy V. Balu-Iyer [États-Unis] | Native‐like aggregates of factor VIII are immunogenic in von Willebrand factor deficient and hemophilia a mice |
001E17 |
Clara C. Chen [États-Unis] ; Jorge A. Carrasquillo [États-Unis] | Molecular imaging of adrenal neoplasms |
001E20 |
Kai A. Bickenbach [États-Unis] ; Vivian E. Strong [États-Unis] | Laparoscopic transabdominal lateral adrenalectomy |
001E62 |
Jennifer Lafemina [États-Unis] ; Murray F. Brennan [États-Unis] | Adrenocortical carcinoma: Past, present, and future |
001E65 |
Bradley B. Pua [États-Unis] ; Stephen B. Solomon [États-Unis] | Ablative therapies in adrenal tumors: Primary and metastatic |
002660 |
Kristoffer H. Rose [États-Unis] ; Roel Bloo [Pays-Bas] ; Frédéric Lang [France] | On Explicit Substitution with Names |
002D13 |
Madhumita V. Joshi [Royaume-Uni, États-Unis] ; Stefan G. Mann [Royaume-Uni] ; Haike Antelmann [Royaume-Uni] ; David Widdick [Royaume-Uni] ; Joanna K. Fyans [Royaume-Uni] ; Govind Chandra [Royaume-Uni] ; Matthew I. Hutchings [Royaume-Uni] ; Ian Toth [Royaume-Uni] ; Michael Hecker [Royaume-Uni] ; Rosemary Loria [Royaume-Uni, États-Unis] ; Tracy Palmer [Royaume-Uni] | The Tat pathway exports multiple virulence proteins in the plant pathogen Streptomyces scabies |
003002 |
Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification Modulo Homomorphic Encryption |
003058 |
Boris Aronov [États-Unis] ; Otfried Cheong [Corée du Sud, États-Unis] ; Xavier Goaoc [France] ; Günter Rote [Allemagne] | Lines Pinning Lines |
003772 |
Carmel Domshlak [Israël] ; Joerg Hoffmann [France] ; Ashish Sabharwal [États-Unis] | Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings |
003877 |
Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification Modulo Homomorphic Encryption |
003917 |
Prithwiraj Maitra [États-Unis] ; Angelina Balina [États-Unis] ; Steven Carlo [États-Unis] ; John R. Glynn Jr. [États-Unis] | Optical tools to assess naturalness of cosmetic films |
004306 |
Manjiri Dighe [États-Unis] ; Carlos Cuevas [États-Unis] ; Mariam Moshiri [États-Unis] ; Theodore Dubinsky [États-Unis] ; Vikram S. Dogra [États-Unis] | Sonography in first trimester bleeding |
004B97 |
Stépphanie Delaune [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] | Protocol Verification Via Rigid/Flexible Resolution |
004C35 |
H. Bronnimann [États-Unis] ; O. Devillers [France] ; S. Lazard [France] ; F. Sottile [États-Unis] | Lines Tangent to Four Triangles in Three-Dimensional Space |
004C66 |
Robert W. Flint Jr. [États-Unis] ; Michael D. Bunsey [États-Unis] ; David C. Riccio [États-Unis] | Epinephrine‐induced enhancement of memory retrieval for inhibitory avoidance conditioning in preweanling Sprague–Dawley rats |
004E18 |
Nancy Ide [États-Unis] ; Laurent Romary [France] | Towards International Standards for Language Resources |
005440 |
Keng-Yen Huang [États-Unis] ; Douglas M. Teti [États-Unis] ; Margaret O Rien Caughy [États-Unis] ; Stanley Feldstein [États-Unis] ; Janice Genevro [États-Unis] | Mother-Child Conflict Interaction in the Toddler Years: Behavior Patterns and Correlates |
006166 |
H. Brönnimann [États-Unis] ; H. Everett [France] ; S. Lazard [France] ; F. Sottile [États-Unis] ; S. Whitesides [Canada] | Transversals to Line Segments in Three-Dimensional Space |
006290 |
Chuck Liang [États-Unis] ; Gopalan Nadathur [États-Unis] ; Xiaochu Qi [États-Unis] | Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts |
006328 |
Calogero G. Zarba [France] ; Domenico Cantone [Italie] ; Jacob T. Schwartz [États-Unis] | A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case |
006B21 |
Leigh F. Bacher [États-Unis] ; William P. Smotherman [États-Unis] | Systematic temporal variation in the rate of spontaneous eye blinking in human infants |
006B61 |
Carrie J. Shawber [États-Unis] ; Jan Kitajewski [États-Unis] | Notch function in the vasculature: insights from zebrafish, mouse and man |
006C33 |
Alexander Keller [États-Unis] ; Remi Badonnel [France] | Automating the Provisioning of Application Services with the BPEL4WS Workflow Language |
006D20 |
Ralph Benzinger [États-Unis] | Automated higher-order complexity analysis |
007210 |
Laurent Romary [France] ; Nancy Ide [États-Unis] | Outline of the International Standard Linguistic Annotation Framework |
007968 |
Stephen O. Duke [États-Unis] ; Scott R. Baerson [États-Unis] ; Franck E. Dayan [États-Unis] ; Agnes M. Rimando [États-Unis] ; Brian E. Scheffler [États-Unis] ; Mario R. Tellez [États-Unis] ; David E. Wedge [États-Unis] ; Kevin K. Schrader [États-Unis] ; David H. Akey [États-Unis] ; Frank H. Arthur [États-Unis] ; Anthony J. De Lucca [États-Unis] ; Donna M. Gibson [États-Unis] ; Howard F. Harrison Jr [États-Unis] ; Joseph K. Peterson [États-Unis] ; David R. Gealy [États-Unis] ; Thomas Tworkoski [États-Unis] ; Charles L. Wilson [États-Unis] ; J Brad Morris [États-Unis] | United States Department of Agriculture–Agricultural Research Service research on natural products for pest management |
007993 |
Zsuzsanna Doszta Nyi ; Csaba Magyar ; Ga Bor E. Tusna Dy ; Miklo S Cserzo [Hongrie] ; Andra S Fiser [États-Unis] ; Istva N Simon [Hongrie] | Servers for sequence–structure relationship analysis and prediction |
007A15 |
Daniel Abergel [France, États-Unis] ; Arthur G. Palmer Iii [États-Unis] | On the use of the stochastic Liouville equation in nuclear magnetic resonance: Application to R1ρ relaxation in the presence of exchange |
007A28 |
Eva K. Lee [États-Unis] ; Marco Zaider [États-Unis] | Mixed Integer Programming Approaches to Treatment Planning for Brachytherapy – Application to Permanent Prostate Implants |
007A84 |
Danny Z. Chen [États-Unis] ; Xiaobo Sharon Hu [États-Unis] ; Jinhui Xu [États-Unis] | Computing Optimal Beams in Two and Three Dimensions |
007B03 |
Leo Bachmair [États-Unis] ; Ashish Tiwari ; Laurent Vigneron [France] | Abstract Congruence Closure |
007E28 |
Nancy Ide [États-Unis] ; Laurent Romary [France] | Encoding Syntactic Annotation |
008722 |
Yifei Dong [États-Unis] ; Beata Sarna-Starosta [États-Unis] ; C. R. Ramakrishnan [États-Unis] ; Scott A. Smolka [États-Unis] | Vacuity Checking in the Modal Mu-Calculus* |
008738 |
Atul Chhabra [États-Unis] ; Karl Tombre [France] | Summary of Panel Discussions at GREC’2001 |
008777 |
Diane E. Bild ; David A. Bluemke ; Gregory L. Burke ; Robert Detrano ; Ana V. Diez Roux [États-Unis] ; Aaron R. Folsom ; Philip Greenland ; David R. Jacobsjr. ; Richard Kronmal [États-Unis] ; Kiang Liu ; Jennifer Clark Nelson [États-Unis] ; Daniel O Eary ; Mohammed F. Saad ; Steven Shea [États-Unis] ; Moyses Szklo ; Russell P. Tracy | Multi-Ethnic Study of Atherosclerosis: Objectives and Design |
008799 |
Lutz Schröder [États-Unis] ; Till Mossakowski [États-Unis] | HasCasl: Towards Integrated Specification and Development of Functional Programs |
009295 |
Seraphin B. Calo [États-Unis] ; Gautam Kar [États-Unis] | Report, edited by Paul Brusil: Services Management in Intelligent Networks—Report on DSOM 2000 |
009365 |
M. Vardelle [France] ; P. Fauchais [France] ; A. Vardelle [France] ; K. I. Li [France] ; B. Dussoubs [France] ; N. J. Themelis [États-Unis] | Controlling particle injection in plasma spraying |
009451 |
Nancy Ide [États-Unis] ; Laurent Romary [France] | A common framework for syntactic annotation |
009717 |
Nancy Ide [États-Unis] ; Laurent Romary [France] | XML support for Annotated Language Resources |
009784 |
Nancy Ide [États-Unis] ; Patrice Bonhomme [France] ; Laurent Romary [France] | CES/XML : An XML-based Standard for Linguistic Corpora |
009E14 |
Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | The Theory of Total Unary RPO Is Decidable |
009E53 |
Danny Z. Chen [États-Unis] ; Xiaobo Hu [États-Unis] ; Jinhui Xu [États-Unis] | Optimal Beam Penetrations in Two and Three Dimensions |
009F13 |
L. Bachmair [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; A. Tiwari [États-Unis] ; L. Vigneron [France] | Congruence Closure Modulo Associativity and Commutativity |
009F14 |
Gene D. Morse [États-Unis] ; Richard C. Reichman [États-Unis] ; Margaret A. Fischl [États-Unis] ; Michael Para [États-Unis] ; John Leedom [États-Unis] ; William Powderly [États-Unis] ; Lisa M. Demeter [États-Unis] ; Lionel Resnick [États-Unis] ; Yiannis Bassiakos [États-Unis] ; Joseph Timpone [États-Unis] ; Steve Cox [États-Unis] ; Donald Batts [États-Unis] | Concentration-targeted phase I trials of atevirdine mesylate in patients with HIV infection: dosage requirements and pharmacokinetic studies |
00A946 |
Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] ; Rakesh Verma [États-Unis] | RPO Constraint Solving Is in NP |
00A963 |
L. Bachmair [États-Unis] ; C. R. Ramakrishnan [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; A. Tiwari [États-Unis] | Normalization via Rewrite Closures |
00AA04 |
David B. Allison [États-Unis] ; S. Kathleen Egan [États-Unis] ; Leila M. Barraj [États-Unis] ; Clifford Caughman [États-Unis] ; Ming Infante [États-Unis] ; James T. Heimbach [États-Unis] | Estimated Intakes of Trans Fatty and Other Fatty Acids in the US Population |
00AA32 |
Chien H. Chen [États-Unis] ; Stephen J. Finch [États-Unis] ; Nancy R. Mendell [États-Unis] ; Derek Gordon [États-Unis] | Comparison of empirical strategies to maximize GENEHUNTER lod scores |
00AD87 |
Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France] | Marking-up multiple views of a Text: Discourse and Reference |
00B312 |
Christopher Lynch [États-Unis] | The unification problem for one relation Thue Systems |
00B319 |
Reiner H Hnle [Allemagne] ; Neil V. Murray [États-Unis] ; Erik Rosenthal [États-Unis] | Some Remarks on Completeness, Connection Graph Resolution, and Link Deletion |
00B385 |
Christopher Lynch [États-Unis] ; Christelle Scharff [France] | Basic Completion with E-cycle Simplification |
00B542 |
Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France] | Veins Theory: A Model of Global Discourse Cohesion and Coherence |
00BC01 |
David T. Barnard [Canada] ; Nancy M. Ide [États-Unis] | The text encoding initiative: Flexible and extensible document encoding |
00BC20 |
M. R. K. Krishna Rao [Inde, Australie] ; D. Kapur [États-Unis] ; R. K. Shyamasundar [Inde] | Proving termination of GHC programs |
00BC47 |
Christopher Lynch [États-Unis] | Goal-Directed Completion using SOUR Graphs |
00BC82 |
Deepak Kapur [États-Unis] ; G. Sivakumar [Inde] | A total, ground path ordering for proving termination of AC-rewrite systems |
00C093 |
Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Any ground associative-commutative theory has a finite canonical system |
00C112 |
J. A. Bergstra [Pays-Bas] ; T. B. Dinesh [Pays-Bas] ; J. Field [États-Unis] ; J. Heering [Pays-Bas] | A complete transformational toolkit for compilers |
00C693 |
Nancy M. Ide [États-Unis] ; Michael Sperberg-McQueen [États-Unis] | The TEI: History, goals, and future |
00C707 |
R. Dicosmo [États-Unis] | Second Order Isomorphic Types: A Proof Theoretic Study on Second Order λ-Calculus with Surjective Pairing and Terminal Object |
00C735 |
Deepak Kapur [États-Unis] ; G. Sivakumar [Inde] | Maximal extensions of simplification orderings |
00C758 |
Nancy Ide [États-Unis] ; Jean Véronis [France] | Encoding dictionaries |
00CD67 |
Susan D. Guild [États-Unis] | A Comprehensive Fetal Monitoring Program for Nursing Practice and Education |
00CD70 |
B. Fortier [France] ; J. Castex [France] ; J. L. Cohen [France, États-Unis] ; F. Loyer [France] ; J.-C. Depaule [France] ; A. Berque [France] ; O. Marcel [France] ; S. Ostrowetsky [France] ; F. Darve [France] ; J.-C. Paul [France] ; J.-P. Perrin [France] ; J.-C. Andre [France] ; S. Corbel [France] ; Y. Tsiomis [France] ; A. Leobon [France] ; J.-P. Peneau [France] ; R. Baudouï [France] ; B. Lassus [France] ; V. Biau [France] ; B. Haumont [France] | Formes et paysages |
00D192 |
Joseph E. Schwartz [États-Unis] ; Huixing Yuan [États-Unis] ; Nancy R. Mendell [États-Unis] ; Stephen J. Finch [États-Unis] | LISREL modeling of high density lipoprotein cholesterol (HDL) levels in male twins |
00D569 |
John Marshall Townsend [États-Unis] | Measuring the magnitude of sex differences |
00D579 |
Donn Byrne [États-Unis] ; Kathryn Kelley [États-Unis] | Differential age preferences: The need to test evolutionary versus alternative conceptualizations |
00DA85 |
Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Any ground associative-commutative theory has a finite canonical system |
00DE61 |
Deepak Kapur [États-Unis] ; G. Sivakumar [États-Unis] ; Hantao Zhang [États-Unis] | A new method for proving termination of AC-rewrite systems |
00E076 |
Nancy M. Ide [États-Unis] | A statistical measure of theme and structure |
00E282 |
Alma Siflinger-Birnboim [États-Unis] ; Jeffrey A. Cooper [États-Unis] ; Peter J. Del Vecchio [États-Unis] ; Hazel Lum [États-Unis] ; Asrar B. Malik [États-Unis] | Selectivity of the endothelial monolayer: Effects of increased permeability |
00E324 |
J L. Lassez [États-Unis] ; M. J. Maher [États-Unis] ; K. Marriott [États-Unis, Australie] | Unification revisited |
00E339 |
Deepak Kapur [États-Unis] ; Hantao Zhang [États-Unis] | Proving equivalence of different axiomatizations of free groups |
00E357 |
Jean Gallier ; Paliath Narendran [États-Unis] ; David Plaisted ; Stan Raatz [États-Unis] ; Wayne Snyder | Finding canonical rewriting systems equivalent to a finite set of ground equations in polynomial time |
00E359 |
Paliath Narendran [États-Unis] ; Friedrich Otto [États-Unis] | Elements of finite order for finite weight-reducing and confluent thue systems |
00E550 |
Edward J. Bottone [États-Unis] ; Ira F. Salkin [États-Unis] ; Nancy J. Hurd [États-Unis] ; Gary P. Wormser [États-Unis] | Serogroup Distribution of Cryptococcus neoformans in Patients with AIDS |
00E606 |
Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France] | On word problems in equational theories |
00E607 |
Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis] | On sufficient-completeness and related properties of term rewriting systems |
00E782 |
Rong-Ine Ma [États-Unis] ; Neville R. Kallenbach [États-Unis] ; Richard D. Sheardy [États-Unis] ; Mary L. Petrillo [États-Unis] ; Nadrian C. Seeman [États-Unis] | Three-arm nucleic acid junctions are flexible |
00E803 |
John Karlof [États-Unis] ; Nancy Mendell [États-Unis] | An evaluation of typing procedures for quantitative data: Results of a Monte Carlo study |
00E830 |
Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis] | Proof by induction using test sets |
00E849 |
James Michaelson [États-Unis] ; Edward A. Boyse [États-Unis] ; Lisa Ciccia [États-Unis] ; Lorraine Flaherty [États-Unis] ; Erwin Fleissner [États-Unis] ; Ellen Garnick [États-Unis] ; Ulrich H Mmerling [États-Unis] ; Mark Lawrence [États-Unis] ; Peter Mauch [États-Unis] ; Fung Win Shen [États-Unis] | Biochemical genetics of TL antigens |
00E860 |
Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France] | A new method for establishing refutational completeness in theorem proving |
00EA02 |
George Sperling [États-Unis] ; Michael Landy [États-Unis] ; Yoav Cohen [États-Unis] ; M. Pavel [États-Unis] | Intelligible encoding of ASL image sequences at extremely low information rates |
00EA36 |
Jieh Hsiang [États-Unis] | Refutational theorem proving using term-rewriting systems |
00EA61 |
D. Kapur [États-Unis] ; P. Narendran [États-Unis] ; G. Sivakumar [États-Unis] | A path ordering for proving termination of term rewriting systems |
00ED43 |
D. F. Merriam [États-Unis] | Advances in automatic processing and mathematical models in geologie |
00ED60 |
Nancy M. Flowers [États-Unis] ; Daniel R. Gross [États-Unis] ; Madeline L. Ritter [États-Unis] ; Dennis W. Werner [Brésil] | Variation in Swidden practices in four central Brazilian Indian societies |
00ED73 |
Frederick Jelinek [États-Unis] | Self-Organized Continuous Speech Recognition |
00ED83 |
R. Burkhardt [Allemagne] ; R. Bartl [Allemagne] ; B. Frisch [Israël] ; K. J Ger [Allemagne] ; G. Mahl [Allemagne] ; W. Hill [Allemagne] ; G. Kettner [Allemagne] ; F. Bonnel [France] ; J. Teissier [France] ; Y. Allieu [France] ; A. Cazelas [France] ; T. Farkas [Hongrie] ; I. Zimmermann [Hongrie] ; P. Siko [Hongrie] ; T. Viola [Hongrie] ; D. Robles Marin ; R. Broseta ; J. L. Berlanga ; M. Aranda ; M. Marti ; P. Andreu ; Gwo Jaw Wang [États-Unis] ; S. L. Hubbard [États-Unis] ; S. I. Regor [États-Unis] ; E. D. Miller [États-Unis] ; W. G. Stamp [États-Unis] ; G. J. Wang [États-Unis] ; G. J. Rawles [États-Unis] ; J. B. Paolaggi [France] ; J. M. Le Parc [France] ; M. Durigon [France] ; D. Barres [France] ; F. Paolaggi [France] ; F. Blotman [France] ; C. Colette [France] ; L. Monnier [France] ; P. Baldet [France] ; L. Simon [France] ; G. Bouteiller [France] ; J. Arlet [France] ; A. Blasco ; F. Vigoni ; A. Eleftérion ; A. Trias [Canada] ; L. Téot [Canada] ; L. Tétreault [Canada] ; J. Pooley [Royaume-Uni] ; D. N. Walder [Royaume-Uni] ; P. Griss [Allemagne] ; M. Mohr [Allemagne] ; Y. Ishida [Allemagne] ; A. Gaucher [France] ; A. Bertrand [France] ; P. Wiederkehr [France] ; C. Hocquard [France] ; P. Raul [France] ; J. Adolphe [France] ; D. Mess [États-Unis] ; D. Pavel [États-Unis] ; R. Barmada [États-Unis] ; F. Schuind [Belgique] ; A. Schoutens ; W. Verhas ; A. Verschaeren [Belgique] ; J. P. Steib [France] ; G. Lang [France] ; B. Moysses [France] ; K. Kleinklaus [France] ; M. Ram [Suisse] ; J. Theron [France] ; M. Collette [Belgique] ; P. Ficat [France] ; R. Durroux [France] ; E. Horvath [France] ; M. Boussaton [France] ; J. N. Senie [France] ; M. Brookes [Royaume-Uni] ; F. W. Heatley [Royaume-Uni] ; J. F. Connoily [États-Unis] ; D. Chakkalakal [États-Unis] ; M. Kelbel [États-Unis] ; U. Pfister [Allemagne] ; P. J. Gregg [Royaume-Uni] ; C. B. Clayton [Royaume-Uni] ; G. K. Ions [Royaume-Uni] ; S. R. Smith [Royaume-Uni] ; H. Schmelzeisen [Allemagne] ; S. M. Perren [Allemagne] ; B. Rahn [Allemagne] ; T. Albrektsson [Suède] ; T. Albrektsson [Suède] ; I. D. Mccarthy [Royaume-Uni] ; S. P. F. Hughes [Royaume-Uni, États-Unis] ; P. Tothill [Royaume-Uni] ; G. Hooper [Royaume-Uni] ; E. T Ndevold [Danemark] ; J. Bülow [Danemark] ; T. R. Light [États-Unis] ; M. R. Mckinstry ; J. Schnitzer ; J. Ogden [États-Unis] ; P. Vicente [Canada] ; M. A. Gunst [Suisse] ; B. A. Rahn [Suisse] ; U. Lüthy [Suisse] ; S. M. Perren [Suisse] ; I. Mccarthy [Royaume-Uni] ; R. Wootton [Royaume-Uni] ; C. Arnoldi [Danemark] ; C. Bünger [Danemark] ; L. Kery ; M. F. Driessens [Belgique, Suède] ; G. Mortier [Belgique, Suède] ; P. M. Vanhoutte [Belgique] ; M. A. Tran [France] ; Dang Tran Lac [France] ; M. Berlan [France] ; S. Solomon [Afrique du Sud] ; C. M. Schnitzler [Afrique du Sud] ; H. Seftel [Afrique du Sud] ; D. Mendelsohn [Afrique du Sud] ; H. Kundig [Afrique du Sud] ; J. P. Van Vuren [Afrique du Sud] ; R. K. Spence [États-Unis] ; A. Alavi [États-Unis] ; C. F. Barker [États-Unis] ; R. G. Grossman [États-Unis] ; B. Slaven [États-Unis] ; M. E. Steinberg [États-Unis] ; J. Lane [États-Unis] ; J. Benoit [France] ; H. Danon [France] ; A. Lortat-Jacob [France] ; J. Y. Dupont [France] ; M. Durigon [France] ; J. D. Spencer [Royaume-Uni] ; R. Cabannes [Côte d'Ivoire] ; F. Sombo [Côte d'Ivoire] ; E. T. Habermann [Canada] ; M. A. Hartzband [États-Unis] ; H. Zollinger [Suisse] ; St. Kubik [Suisse] ; A. Schreiber [Suisse] ; Ch. Fauchier [France] ; F. Jacqueline [France] ; W. Remagen [Suisse] ; J. M. Saint-André [France] ; T. Vizkelety [Hongrie] ; A. J. Malcolm [Royaume-Uni] ; E. Warda [Pologne] ; P. C. Dell [États-Unis] ; H. Burchardt [États-Unis] ; U. K. Luethi ; R. D. Stroud ; B. A. Rahn ; S. A. Brown ; G. Bauer [Suède] ; L. I. Hanson [Suède] ; J. Palmer [Suède] ; B. Stromqvist [Suède] ; G. D. Hayken [États-Unis] ; D. R. Steinberg [États-Unis] ; J. M. Baixe [France] ; C. T. Brighton [États-Unis] ; S. E. Tooze [États-Unis] ; C. A. L. Bassett [États-Unis] ; M. M. Schink [États-Unis] ; S. N. Mitchell [États-Unis] ; H. Judet [France] ; A. Gilbert [France] ; J. Jude [France] ; H. B. Skinner [États-Unis] ; A. R. Penix [États-Unis] ; S. D. Cook [États-Unis] ; R. J. Haddad Jr. [États-Unis] ; C. Nedjar [France] ; C. Ficat [France] ; P. P. G. Blockx [Belgique] ; C. H. Bauer [Suède] ; J. L. Décamps ; E. H. Bünger [Danemark] ; J. Bülow [Danemark] ; J. C. Djurhuus [Danemark] ; D. Chappard [France] ; J. L. Laurent [France] ; C. Alexandre [France] ; G. Riffat [France] ; S. B. Christensen [Danemark] ; I. Reimann [Danemark] ; O. Henriksen [Danemark] ; J. L. Berlabga ; Y. Andrianne [Belgique] ; F. Burny [Belgique] ; M. Donkerwolcke [Belgique] ; O. Saric [Belgique] ; Taberly [France] ; Pradere [France] ; Regis [France] ; Bru [France] ; Bouzet [France] ; Mazières [France] ; Arlet [France] | International Symposium on bone vascularization |
00EE71 |
Nancy K. Stanton [États-Unis] | The heat equation for the $$\bar \partial - Neumann$$ problem in a strictly pseudoconvex Siegel domainproblem in a strictly pseudoconvex Siegel domain |
00EE82 |
James W. Thatcher [États-Unis] ; Eric G. Wagner [États-Unis] ; Jesse B. Wright [États-Unis] | More on advice on structuring compilers and proving them correct |
00EE90 |
Henry T. Davis [États-Unis] ; Michael L. Feldstein [États-Unis] | The generalized Pareto law as a model for progressively censored survival data |
00EF11 |
Constantine Kaniklidis [États-Unis] ; Leslie Mezei ; Richard Kittredge [Canada] ; Albert C. E. Parker ; Hugh F. Cline [États-Unis] ; Frank H. Nuessel Jr. [États-Unis] ; James M. Beshers [États-Unis] ; G. A. Clark [États-Unis] ; John F. Hall [Royaume-Uni] ; Catherine Findler [États-Unis] ; Nathan A. Greenberg [États-Unis] ; T. J. Cartwright ; V. M. Du Feu ; Pauline Atherton [États-Unis] ; Gerd Althoff ; John Rothman ; Joseph Raben [États-Unis] ; Mimi Penchansky | Book reviews |
00EF50 |
Zvi Galil [États-Unis] | Some open problems in the theory of computation as questions about two-way deterministic pushdown automaton languages |
00EF96 |
Robert W. Hartle [États-Unis] ; Stewart Umphrey [États-Unis] ; Susan Snow Lukesh [États-Unis] ; Larry J. Murphy ; K. Alber [Allemagne] ; Raoul N. Smith ; Robert D. Hume [États-Unis] ; Ben Ross Schneider [États-Unis] | Reviews |